Open Problems in Software Test Coverage

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Temporal Modeling of Software Test Coverage

This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine the value of test coverage at any given time, as well as predicting future values. The model is comprised of two main components: coverage functions, and the coverage matrix. The coverage functions represent the coverage...

متن کامل

Connecting test coverage to software dependability

It is widely felt that software quality, in the form of reliability or "trustworthiness," can be demonstrated by the successful completion of testing that "covers" the software. However, this intuition has little experimental or theoretical support. This paper considers why the intuition is so powerful and yet misleading. Formal definitions of software "dependability" are suggested, along with ...

متن کامل

Software reliability growth with test coverage

“Software test-coverage measures” quantify the degree of thoroughness of testing. Tools are now available that measure test-coverage in terms of blocks, branches, computation-uses, predicate-uses, etc. that are covered. This paper models the relations among testing time, coverage, and reliability. An LE (logarithmic-exponential) model is presented that relates testing effort to test coverage (b...

متن کامل

Open Architecture Software for OPENSTAR Test Platform

A new concept of Open Architecture Automated Test Equipment (ATE) is being discussed hotly in the semiconductor industry in terms of new hardware and software architectures. This paper presents Open Architecture Software for OPENSTARTM — the Open Semiconductor Test Architecture that is being defined by the Semiconductor Test Consortium. The software architecture and related components of the so...

متن کامل

A Novel Test Coverage Metric for Concurrently-Accessed Software Components

We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors that lead to atomicity or refinement violations. We describe a software tool for measuring LP coverage and outline an inexpensive application of predicate abstraction and model checking for ruling out infeasible coverage ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lecture Notes on Software Engineering

سال: 2014

ISSN: 2301-3559

DOI: 10.7763/lnse.2014.v2.107